| emsoft | participants

Benoît Caillaud

EMSOFT 2011: 11th International Conference on Embedded Software

A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code

Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Modal Interfaces: Unifying Interface Automata and Modal Specifications

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, and Roberto Passerone

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Communication by Sampling in Time-Sensitive Distributed Systems

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, and Stavros Tripakis

EMSOFT 2005: 5th ACM International Conference on Embedded Software

From Multi-Clocked Synchronous Processes to Latency-Insensitive Modules

Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, and Benoît Caillaud

Tag Machines

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2004: 4th ACM International Conference on Embedded Software

Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli